import __00SetRelation as sr
import _00SetFunc as ss

#哈斯图化简
n=20
X=range(1,n)
R=sr.exactdivision(X)
tv=sr.ispartialorder(X,R)
H=sr.HasseDiagram(X,R)
ss.drawgraph(R)
ss.drawgraph(H)
print(tv)
print("len(R)",len(R),"R",R)
print("len(H)",len(H),"H",H)